$\forall$${\it the\_es}$:ES, $e$, ${\it e'}$:E. ($e$ $<$ ${\it e'}$) $\Rightarrow$ loc($e$) $=$ loc(${\it e'}$) $\in$ Id $\Rightarrow$ ($e$ $<$loc ${\it e'}$)